Graphical Operational Semantics
نویسندگان
چکیده
We combine the methodology of Plotkin-style operational semantics with graph transformation concepts in order to specify the operational semantics of diagram languages.
منابع مشابه
Operational Semantics for Visual Simulation in PARAGON
In the case of safety-critical systems simulation is more credible when it is derived through a mathematically sound interpretation of a speciication. In this paper, we describe the foundation and tool to support visual simulation of speciications within PARAGON, a toolset for the formal speciication, analysis and testing of real-time, resource-bound systems. Visual simulation executes a real-t...
متن کاملOperational analysis of sequence diagram specifications
This thesis is concerned with operational analysis of UML 2.x sequence diagram specifications. By operational analysis we mean analysis based on a characterization of the executions of sequence diagrams, or in other words an operational semantics for sequence diagrams. We define two methods for analysis of sequence diagram specifications – refinement verification and refinement testing – and bo...
متن کاملGCCS: A Graphical Coordination Language for System Specification
We present GCCS, a graphical coordination language for hierarchical concurrent systems. GCCS, which is implemented in the Concurrency Factory design environment, represents a coordination model based on process algebra. Its coordination laws, given as a structural operational semantics, allow one to infer atomic system transitions on the basis of transitions taken by system components. We illus...
متن کاملEnhanced Operational Semantics in Systems Biology
ion. Indeed, biologists already have in use many graphical languages (e.g., [1, 8, 11]) and so computer scientists do. Additionally, software engineers make use of graphical standards as UML to model systems, and there are already definitions of extractors from UML specifcations to π-calculus descriptions [12] that show the feasibility of the approach and that allow reuse of existing tools.
متن کاملOperational ASM Semantics behind Graphical SEAM Notation
The context of this paper is Enterprise Architecture (EA). EA is a multi-disciplinary approach that allows different specialists to design new business and IT systems and focuses on the integration of these systems. Our group develops a specific EA method that is called SEAM. The current version of SEAM has a formal denotational semantics for its modeling language. In order to provide model sim...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2000